Sökresultat för: Duane (ILT) Bibby
The Little Prover (Pocket)
avDaniel P. Friedman, Carl Eastlund, Duane (ILT) Bibby
ISBN: 9780262527958 - UTGIVEN: 2015-07The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to[...]
The Little MLer (Pocket)
avMatthias Felleisen, Daniel P. Friedman, Duane (ILT) Bibby
ISBN: 9780262561143 - UTGIVEN: 1997-12with a foreword by Robin Milnerand drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of programming and on pro[...]
